Proofs 101: An Introduction to Formal Mathematics serves as an introduction to proofs for mathematics majors who have completed the calculus sequence (at least Calculus I and II) and a first course in linear algebra. The book prepares students for the proofs they will need to analyze and write the axiomatic nature of mathematics and the rigors of upper-level mathematics courses. Basic number theory, relations, functions, cardinality, and set theory will provide the material for the proofs and lay the foundation for a deeper understanding of mathematics, which students will need to carry with them throughout their future studies. Features Designed to be teachable across a single semester Suitable as an undergraduate textbook for Introduction to Proofs or Transition to Advanced Mathematics courses Offers a balanced variety of easy, moderate, and difficult exercises

Proofs 101: An Introduction to Formal Mathematics serves as an introduction to proofs for mathematics majors who have completed the calculus sequence (at least Calculus I and II) and a first course in linear algebra. The book prepares students for the proofs they will need to analyze and write the axiomatic nature of mathematics and the rigors of upper-level mathematics courses. Basic number theory, relations, functions, cardinality, and set theory will provide the material for the proofs and lay the foundation for a deeper understanding of mathematics, which students will need to carry with them throughout their future studies. Features Designed to be teachable across a single semester Suitable as an undergraduate textbook for Introduction to Proofs or Transition to Advanced Mathematics courses Offers a balanced variety of easy, moderate, and difficult exercises

Starting with the Schur-Zassenhaus theorem, this monograph documents a wide variety of results concerning complementation of normal subgroups in finite groups. The contents cover a wide range of material from reduction theorems and subgroups in the derived and lower nilpotent series to abelian normal subgroups and formations. Contents Prerequisites The Schur-Zassenhaus theorem: A bit of history and motivation Abelian and minimal normal subgroups Reduction theorems Subgroups in the chief series, derived series, and lower nilpotent series Normal subgroups with abelian sylow subgroups The formation generation Groups with specific classes of subgroups complemented

This book develops the mathematical skills necessary for the investigation of the increasingly pervasive codes used to identify everything from credit cards to books to supermarket goods. An important part of such codes is the check digit, which can point out when an error has been made, either accidentally in transmission, or deliberately in an attempt at fraud. Mathematics plays a crucial role in designing and verifying such check digit schemes. Beginning undergraduates and pre-university students should find this book both accessible and fun. In the process of describing the identification number schemes, the author introduces many fundamental areas of discrete mathematics, including modular arithmetic and group theory, with emphasis on their applications. A unique point of the book is the way it offers students the possibility of writing papers summarizing a given topic to improve their understanding. It also contains pointers into the literature for further reading.